Skip to content

Add license banner checker for .md files#184

Merged
kr-t merged 3 commits intomainfrom
md_license_banner_check
Mar 4, 2026
Merged

Add license banner checker for .md files#184
kr-t merged 3 commits intomainfrom
md_license_banner_check

Conversation

@SorinOlari
Copy link
Collaborator

Description

  • Added license banner checker for .md files

  • Fixed license banner for all .md files

  • Script has been added to the CI runner

  • Fixes issue # License banner checks #133

Type of change

  • Code cleanup/refactoring
  • CI system update

How Has This Been Tested?

Intentionally introduced errors in the license banner text to ensure the script detects them as expected.

Checklist:

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • My changes generate no new warnings
  • I have added tests that prove my fix is effective or that my feature works
  • New and existing unit tests pass locally with my changes

@SorinOlari SorinOlari requested a review from casaroli March 2, 2026 09:47
@SorinOlari SorinOlari self-assigned this Mar 2, 2026
@SorinOlari SorinOlari requested review from kr-t and srberard as code owners March 2, 2026 09:47
@SorinOlari SorinOlari added this to Ocre Mar 2, 2026
@SorinOlari SorinOlari force-pushed the md_license_banner_check branch 2 times, most recently from 7ffbcfe to a11bf0e Compare March 2, 2026 09:51
Signed-off-by: SorinO <sorin.olari2@gmail.com>
Signed-off-by: SorinO <sorin.olari2@gmail.com>
…he CI

Signed-off-by: SorinO <sorin.olari2@gmail.com>
@kr-t kr-t force-pushed the md_license_banner_check branch from a11bf0e to 02541cc Compare March 3, 2026 14:24
@kr-t kr-t merged commit 02541cc into main Mar 4, 2026
34 checks passed
@github-project-automation github-project-automation bot moved this to Done in Ocre Mar 4, 2026
@kr-t kr-t deleted the md_license_banner_check branch March 4, 2026 09:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants